Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
451	ModelSim Population Biology 2014v3.0- Center for Connected Learning at Northwestern University Student Manual Reading 4.1 – Fluctuation and Stability Using the computer model in the your class activities, you explored Add to Reading List Source URL: modelsim.tech.northwestern.edu Language: English - Date: 2014-06-29 22:57:18 Systems science Systems ecology Systems biology Biological systems Computing Mathematical and theoretical biology Fisheries science Ecosystem model Scientific modeling NetLogo Ecosystem Economic model
452	BASIS PURSUIT IN SENSOR NETWORKS João F. C. Mota1,2 , João M. F. Xavier2 , Pedro M. Q. Aguiar2 , and Markus Püschel3 1 Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, USA 2 Add to Reading List Source URL: users.isr.ist.utl.pt Language: English - Date: 2011-02-25 13:38:10 Mathematics Operations research Applied mathematics Combinatorial optimization Convex optimization Theoretical computer science Computer science A* search algorithm Algorithm NP Linear programming Belief propagation
453	On Generalized Connection Caching Susanne Albers Abstract Cohen et al. [5] recently initiated the theoretical study of connection caching in the world-wide web. They extensively studied uniform connection caching, where Add to Reading List Source URL: www14.in.tum.de Language: English - Date: 2013-11-25 11:04:47 Analysis of algorithms Online algorithms Computer science Probabilistic complexity theory Randomized algorithm Applied mathematics Hoarding Cache algorithms Mathematics Cache Algorithm Competitive analysis
454	CS264: Beyond Worst-Case Analysis Lecture #2: Instance-Optimal Geometric Algorithms∗ Tim Roughgarden† September 24, Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-10-03 12:51:27 Mathematics Applied mathematics Computer science Algorithms Mathematical logic Theoretical computer science Merge sort Combinatorial optimization Asymptotically optimal algorithm Elliptic curve primality
455	Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 03:03:35 Mathematics Mathematical logic Theoretical computer science Automated theorem proving Boolean algebra Logic programming Resolution True quantified Boolean formula Clause Conflict-Driven Clause Learning DPLL algorithm
456	Stochastic Process Algebras and Ordinary Differential Equations Jane Hillston Laboratory for Foundations of Computer Science and Centre for Systems Biology at Edinburgh University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-09-15 09:47:16 Theoretical computer science Statistics Markov models Mathematics Graph theory Markov chain Stochastic process Stochastic Process calculus Semantics Algebra over a field PEPA
457	SIGACCESS Annual Report JulyJune 2013 Submitted by: Andrew Sears, Chair SIGACCESS continues to refine its activities to meet member needs. This report highlights SIGACCESS Awards as well as the SIG’s conference Add to Reading List Source URL: www.acm.org Language: English - Date: 2013-10-11 11:30:28 Computer science Computing Theoretical computer science Science and technology Edsger W. Dijkstra Fellows of the British Computer Society ACM SIGACT Association for Computing Machinery Symposium on Theory of Computing Symposium on Parallelism in Algorithms and Architectures ACM-W Symposium on Principles of Distributed Computing
458	Using the Pi-Calculus for Formalizing Workflow Patterns Frank Puhlmann Hasso-Plattner-Institute at the University of Potsdam http://bpt.hpi.uni-potsdam.de Add to Reading List Source URL: bpm2005.loria.fr Language: English - Date: 2005-09-12 10:45:03 Workflow technology Mathematics Software design patterns Process calculi Process management Theoretical computer science Workflow pattern Workflow Calculus -calculus Process calculus Pi
459	Advances in Programming Languages Certifying correctness David Aspinall School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-27 19:53:39 Cryptography Formal methods Theoretical computer science Computing Computer security Logic in computer science Public key infrastructure Formal verification Correctness Proof-carrying code Authentication Code signing
460	Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Software engineering Theoretical computer science Mathematical logic Lambda calculus System F Type system Uniqueness type Functional programming Polymorphism Clean

UPDATE